McCarthy Formalism